perm filename AMBX7.360[GF,SYS] blob sn#784639 filedate 1985-02-03 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEnxπ→n&λ<YMvp:λw⊂0↑&T  Gd⊃8C@E@α⊗E8β∃`e0∧∃A¬(¬∃ 0λβ∃@λβU0_β∀`@_βT`0(β∀@@(βTB¬λ	∀"%αα u↓B`dxαα`tpαβ dP¬AAdP¬AAdP¬AAd("⊂CQxE`↓0%ε	!H'AA8'AA⊂8'AA 0'AA 0'AA 0'AA⊂0'AA0'Diq 'AA⊂8'AA00'AA08'AA@0'AA@0'AA@0'AA08'AA00'AA⊂@%εi!H%¬hT !Gβq8Ba (↓∀Ap⊂↓Tp0∧S``PβS@PpαS PxαSaα∩`aλα∩`a⊂↓R@a_↓R@dPβ∩@dPβ∩@a_↓R`a⊂↓R`a⊂↓Saα∪ Q↓S@Ppα∪``Xα∀p0β∀Au(¬⊃(D ∂H"q8¬I!@%εIp0∧α	p0¬↓ip0ε↓Ip0ε↓ip0εAIp0εAip0π↓Ip0π↓Ip0π↓Ip0π↓Ip0π↓Ip0π↓Ip0εAIp0εAIp0ε↓ip0¬Aip0¬↓ip0∧α	!P%ε	!("QλQX∞EbpRC∀PS``@β∪``PαS``Xα∪`` ↓ADxβ↓0 α∪`` ↓A 4xβ`@(↓S``_α∪aTxεS``_α↓@4xβ`@0↓S`` ↓A Dxβ↓0(α∪`` ↓ADxβα`Dxβα dxβ↓a∧PRC∀PQ(D0εBq8¬i!8%¬ip0β↓Ip0∧↓)p0∧A	p0α@`⊂ 'A@P_A	p0α@` _'A@@ ↓ip0α↓	pp'CIp0α↓	p0α↓	p0α@ip0α@ip0α@ip0'AIp0%βi x%βhT #Gd!8Ba (↓∀Ap⊂↓Tp0∧S``PβS@PpαS Qα∪aα∩`a⊂↓R`a⊂↓R@dPβ∩@dPβ∩@dPβαAtXβα!tXβα!t`ββ@dhαC@dpαC dxβα@uβAA∃⊂π@ E(¬↓4("∩∧∩_E`x↓Ci x↓Ci x↓Cip0ε↓Ip0ε↓Ip0ε↓Ip0ε↓Ip0ε↓Ip0ε↓Ip0ε↓Iq@'F	q@'AA@0'AA@0'AA@0'AA@0'AA@0'AA@0'AA@0'AA@0%β`0x%β`0x%β`0x"Q	⊂xλEbpπRAtPπS`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∩AtPπRAt("∩B1(E`Pp'CIpp*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0%AP0%↓@@0%↓@@0%↓@08%↓@00%C)P@"Q	2⊃¬bpπA↓DPπA↓DPπA↓Dxβα@dxβα DxβαDxβ↓@Txβ↓ Txβ↓Txβ`dxβ!∀xλSa⊂⊂βSa β∪`p(βS``8βS``@βS``Hβ∪``HβS``PβS``XβRAp εRAp εRAp εQ(D`εBq8βi x%βip0'AIp0'AIp0'AIp0'AIp0'AIp0¬ip0¬ip0∧A	p0∧A	p0∧A	p0∧↓)p0βA)p0αAi!8%¬i!8"Q	RP∃Ebpε¬↓$PεDA4PεDA4x∧D↓∧x∧D↓∧x¬βA∀x↓@ p`¬∪`0⊂ββ0λβ∪`0⊂βB@@λβ∪`0_βα@0⊂β∪`0_βB@⊂β∪`0 βA`0_β∪`0(β↓@@_β∪`0(βA@ β∪`00β↓0(β∪`00β@@@(β∪`08β@00β∪`08¬A@dx↓B↓⊂8β∪`0HβBdx↓B p@β∩A@0αA↓tPε↓@P πRA@8↓A!t("∪D∩_E`X¬β	 `∧C	 h∧β	pHεipP¬@ip_Aa _'@` 8∧@ip_↓Aa_'@`@8β@ip_αA``_'@``8α@ip_βA`@_'@a0αip_∧↓`0_'@a⊂8↓ip_¬↓`⊂_'@a0P'@a@H'@aP@'@a`8'@ap0%β↓@(%β↓P %β↓`_"Q	qh⊂¬bpP∧T!txβA tpβα dhβα`d`ββ d`αC`TXββ`dXββ`dPβ∧ dPβ∧ dPβ∧ dPβ∧ dPβ∧ dPβ∧ dPβC`tXββ`dXββ`d`ββ dhβα`dpβα dxβA uλπU↓∀("∀βApE`↓(%ε	!P'AA@'AA 0'AA 8'AA00'AA00'AA 8'AA 0'AA8'E	qλ'AIp0'AIp0'AIp0'AIp0%βi x%βhT (G$↓pBA∃λπS`p(βS@`Hβ∪ `Xβ∪`hβ∪PxαR``xβ∩``xβ∩@aλβ∩@aλβ∩@aλβ∩@aλβ∩@aλβ∩@aλβ∩@pxβR``xβ∩``xβ∪` β`dhβAtpβ 0⊂∧Sa⊂_βT!p ↓U↓@ ↓WP⊂α↔↓5`¬W!∃h∧W@uxαQ(E⊂∂H"q8¬	!8%ε	p0βα	p0∧↓ip0∧Aip0¬↓Ip0¬↓Ip0∧Aip0∧↓ip0βα	q⊂'D	p0β↓)p0βA)p0∧↓)p0∧↓Ip0∧↓Ip0∧↓Ip0∧↓@0_'AA0↓@i xα↓`⊂ %β`PP%β`p8"Q
10Ebp0∧`4hλSP(∧∩`@PαR`0`α∩@@h↓R@P`↓R@pP↓RA4Pλ∩b∀`	∪"%πU↓EHβR@0pαR@0xα∩@@pα∩@Ph↓R@`Xα∩A⊂0αR@0λπ∩@0 ∧Q(E ∞πbq8FI1P%FI08↓A@08%↓@P0αAI (β↓@`(%↓p0βA	  βA@p %a0∧i _∧↓A_*AJP0*AJP0*AJP0*AJP0*AJP0*AIqλ'D)qλ"Q
R⊃¬bpπA!DPπA!DPπA!Dxββ@4xββ@4xββ@4xββ@4xββ@4xββ@4xββ@4xββ@4xββ@4xββ@4xββ@4xββ@4xββ@4xββ@4xββ@5ββEβα`Eλβα E⊂βA U π∃a∧("∃CrλE`pβαi pβαi pβαip0εA	p8¬A
0¬@j8∧A
⊂0∧@j⊂8βA
 0β@j 8αA
00α@j08↓A
@0↓@j@8A
P0@jPP+α
`@+AJp0,↓ ,↓λT +J%Q8@↓0⊂εA!$P¬@AP(¬∩A0⊂εA!$hβα `X↓S p@βB Dpβα `H↓S@p8∧↓`Dxβ↓a8↓S``8∧↓`4xβA! (α∀`(↓@ `(↓Tp_α p_α∀ `_↓@``_↓T pλα`pλα∀@`λ↓A `λ↓T@`λ↓A `λ↓TA (¬∀a8∧∀a8∧∃`Hβ∃`Hβ∃ @Xα∃ @Xα∃ @Xα⊃(E@⊂HBq8β@`X%β@`X%β@`X(↓a⊂((A`p )↓`P )A@P_)A`0 *↓`⊂ *BJ`@+Ak8+B*`X*A 8*↓@8*``0)A`8)↓↓8(↓! 8%B`pp%B`pp%B`pp"Q⊃x⊂Ebpπ↓A4Pπ↓A4Pπ↓A4xβB`EβB Eλβα 5λβA`E⊂βA E_β↓ 5_β@`E β@ E(β 5(¬∃A¬8β∃`e8β∃`e8β∃`e8β∀Au⊂πTAt("⊗BqPE`!(&¬)A &↓@p0&↓↓8&↓p8&↓`8&`p0&``8&`P8)Aj 8)↓J⊂8βj8β@ip8∧ip0∧↓	`8∧↓	P8∧↓)@8∧A	@0βAi1(%¬I!0"Q⊃ βap(∧∪!D`α@`d`αAd`αA Th↓A@Uλ¬∪!d`∧@TXβ↓ TPβ↓@TPαA`TPαA@dXαAt`	∪@p⊂βQ(F⊂F#↓@α	 @%α	P(&A)P(&A)P(&A)P(B	Q&B@(&A@p(&A!⊂(&A! (&A! (&A! (&A! (&A! (&A!⊂0&A!⊂(&A@p(&A`@0&D	P_↓AhT 1Dα xπAA∧p¬S`_αSP αR`P(αR@`0↓R@TPαR@TPαR@dXαSP8↓∪`(↓SAE∧⊃(F εβ↓@¬B*PH*B+⊂(,A+⊂(,A+⊂(,A*⊂8A)a&A@@8&↓ p0%A!⊂(%↓A⊂(%↓! (%↓! (%↓! (%↓! (%↓! (%A!⊂(&↓ p0&A @P'∧J@AhT 2D"0xπA@tp¬S P_α∪P αR`P0αR@`0αR@P8αRB∀PλR@TPβ∩`T`αA`$hαA 4p¬T↓∧("→B↓λεp8'BI`(↓↓)P0↓↓)P(↓A)P(αiP(&A)P(%β	 `%β	P(&A)P(&A)P(&A)P(&A)P(&A) X%αi X"Qq ¬Ap0β@Tpλ∪ P⊂α@ D`αAPλ↓∪@0α∪@0α∪@0α∪P αS P⊂αS!4h↓ dh↓∪!DhπS"∧X	R@PHβ∩@@`α∩@@`α∩@PPαR``0β∪α∧x¬⊃(F@εβ↓@α	 @%α	P(&A)P(&A)P(&A)P(↓↓iP(BIP@↓A)P8αA)P0β↓)P(βA)P(βA)P(βA)P(βA)P(βA)P(βA)P(βA)P(βA) P↓αI P↓αI P↓αHT 4BAA@`D`β∪d`β∪dhα⊃`$P∧∩A∧P∧∪ ThαS ThαS ThαS ThαS ThαRA$P¬∩A$("~APX∂F↓ (AJ⊂0(AJ⊂0)↓λp⊂'B	p@'B
 ()↓* ()↓* ()↓* ()↓* ()↓* ()↓* ()↓)0_α↓) (↓A) (↓↓I (↓↓)0P&↓hT 5Eαa@↓∧P∧∩A∧hαS ThαS ThαS Thα@a∧hα@a∧hα@a∧hα@`dhα@@Thα@ Dh¬∪!4hε∪ `λβ∪ P_β∪ P αS P βRA λ∧RA λ∧RA λ∧Q(F`¬ββ↓@α	 @%α	P(&A)P(&A)P(&A)P(&A)P(&A)P(&A)P(&A)P(&A)P(&A)P(%αI P%αHT 6HD@xπ@↓⊂βA tP∧! ⊂¬∩A0_α@ 0_αS p(βA Thβ↓@`0αS P8αA`ThαA`P8αS P8αA`ThαA`P8αS P8αA`ThαA`P8αS P8αA`ThαA`P8αRA ⊂¬A$P¬A ⊂¬∩A ⊂¬A$("≠Ba@πC`@↓↓i @BI X↓A)P8αA)P0β↓)P(βA)P(βA)P(βA)P(βA)P(βA)P(βA)P(βA)P(βA) P↓αI P↓αI P↓αHT 7Eα`xπAA∧pε∪ P αSP0αR`P@αR@PPαR@PPαR@PPαR@PPαR@PPαR@PPαR`P@αS@@α∪ P αSAE∧⊃(GF"`xα⊂@%∧i Xα↓)P0βA)P(∧A)P(∧AIP(¬↓)P(¬↓)P(¬↓)P(¬↓)P(∧AIP(∧A)P0βA)P8α↓IQ&A ⊂8&A)P(&A)P(%αI P%αHT 8E"q0πA@p_↓SAthαAt`αA@dXαBTPβαTPαB TPαB TPαB TPαB TPβαTXαBT`αA@dhαAtpπTpλαVU@αVU@αU!%(¬∃!$("≤B↓⊂πC`8↓↓) 8B	 PA)P0↓↓)P0↓↓)P0↓@iP(&A)P(&A)P(&A)P(%αi X%αhT 9Cb⊂xπ@`pλ↓S↓DX↓AdP↓A`DP↓B4PαA@4P¬RaD`ε∪A4P↓A`TP↓B 4Pαα4Pβ↓ 4PεR@0λ∧⊃(G π∧αa0α@ip_'@ip_'↓	` &A) h%β) h&A)P(&A)P(&A)P(&A @⊂&A @⊂&A @⊂&A @⊂&A@ _'α*0"Q∞Q0βap∧↓↓∧P∧↓↓∧P∧↓↓∧hαA`ThαA`ThαA`ThαA`ThαA`ThαA`ThαA`ThαA`ThαA`ThαA@dhβ↓↓∀p	∀↓λβQ(G0Eapxα@P@%α@P@%α@P@'↓@` 'A `_'A@@ (↓ @_(↓@  (A  _(BJ @)α
00)AJ@ *↓λT ;Gdxπ@↓⊂⊂∧AtP∧@A⊂ βRA⊂⊂∧Athβ↓ `0↓S@P(β↓ Dpβ↓p ↓S`P_∧`DxβA⊂⊂↓TPλα Pλα∀↓⊂⊂∧T!_∧∀ p βT@`(β∀@P0αT`@8α∀`0@↓Q(G@ε↓pxα@P@%α@P@%α@P@'A@@((↓@  (BJ @)AJ08)α*⊂ AJ ↓AI`(αAI @βαI @βαI @βαHT <Ebq0π@↓ (∧∩A (∧∩A (∧∪@`0α∪`P0↓S`` α∀P ↓T`⊂α∀ P⊂↓T!%⊂∧∀A¬_β∀`e α∃E ↓S 0_α∪P⊂↓SPλα∪↓∀hβS@T("≡B↓⊂πC`⊂x%Ci0 α↓I0 α↓)0_α↓I0_↓AI0_↓↓Ip0'A 0_'↓@0_&A@0 &↓@@ &↓ P %A@0(%βi x"Q↓8Ebp∩BdP∪``(β∪``8αS``@α∪``@α∪``@α∪``H↓S``H↓S`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dPπRAtPπQ(@λ⊂Iαq8π@k(,↓*p8+α*`H*Bj@ ↓↓j@_α↓J0 α↓j  β↓j⊂ ∧↓j⊂_¬↓J ¬↓ip ε↓ip_π↓I` π↓iP λ↓iP_	↓IAh%Gi1x%λ)"λ"Q!x⊃¬bpX∧TAuβA tpβB thββ d`ββ`d`ββ`dXβ∧ dXβ 0H↓@ dPβAp⊂β∩@`⊂π@@dPβAp⊂β∩@`⊂π@@dPβAp⊂β∩@`⊂↓B 0⊂β∩``λ↓B 0λβ∩`aλβ∪`xβ∪`xβ∪ `hβ∪@pHβTp(βTAu(∧Q(@_
παq8εj`_*A*P(*A*@8*↓j0H)B*0H)αj _↓↓J _↓↓J⊂ ↓↓j⊂_α↓J⊂_α↓J α↓j_β↓Ip β↓ip_∧↓I` ∧↓I XCI XCI XCHT α¬c!8@αtPRBtPRBtP↓D 4P↓D 4h↓B`4h↓B`4hλS"∀hλS"∀hλS 0X↓S 0X↓QI _λ@i _λ@i!8%¬i!8%¬i!8"QRλ⊃Ebp⊂RD∀P⊂S```β∪```β∪```β∪```β∪```β∪```β∪```β∪```β∪```β∪```β∪```β∪```β∪```β∪```β∪```β∪```β∪```β∪```β∩A`(π∩A`(π∩A`(π⊃(@0
GBq8εI!P%εI08ε↓I@8εA)P8εA	`8ε↓	p8¬A
8¬@j⊂8¬j 8)Aj@0*A↓⊂_)A! _)↓!  (A↓@ (↓↓P 'A↓P(&A!@0&ε	1H%εI!P"Qqp⊃¬bp_βB@tX¬AA4PεA↓TPπAdPα@``⊂β`TP↓Aa 8↓R@08¬↓`5(∧∃!¬0β∃@e0β∃@e0β∃@e0β∃@e0β∃@e0β∃@eλTα∃λQ(@@∞πbq8ββjx(βjP0)BIq⊂'¬	@8↓↓@ 8%A@@0α↓I00α↓@@0%↓@P0αAI 0αA@P0%↓@P0αAI 0αA@P0%A@@0α↓I00α↓@@0&↓` 0↓↓ia 'DJ0P*AJx(βjx"Q↓⊃p⊃¬bp0λTα∃λU@dPβ↓@`0β∩@p(β↓ tXβA` βS` β↓d`β↓` β∪` β↓d`β↓` β∪` β↓d`β@``_βS `_β`dhβ@@`⊂βS@pλβ tx
∀α%λλ∃↓%0β∀α∃λTα∀("αCAxEa`'DIP@βα	@8¬↓i00π↓I 8π↓i 0λ↓I 0λ↓I 0λ↓I 0λ↓I0(λ↓)0(λ↓)@(π↓)@(π↓)P π↓	P(ε↓) _A↓@ @i _A! (@i  A↓  A	 P∧αI P∧αI0H∧α)0PβαI0PβαHT _¬αa0↓A∧pε∪ P αSP0αR`P@αR`P@αR`@Pα∩@PPαR@PPαR@PPαR@PPαR@PPαR@PPαR@PPαR@PPαR@PPαR`@Pα∩`P@αR`P@αSP0αS P αSAE∧⊃(CλλE"a0∧@j⊂(%Bi0X(↓J0(↓J0(↓J0(↓J0(↓J0(↓J0(↓J0(↓J0%∧)!λ%∧(T →∧BQ0↓↓∀`εRatPβa∧Pβ↓ tPβ↓@dPβ↓@dXα↓`e0β∃ e(αUU_αT@Eλα↓5α↓ 4x↓A@Dpπ∪!t`πRb∧PλRB∀("b!(¬@P8&Bi@p%A@00%A@@0%A@@0%A@@0&↓P(*↓J00'B	p8*↓*` +↓)0 βAI 0β↓I 0β↓I 0αAI 0α↓i0x&β	`@"QεA ¬B`h↓U@E(αUe_βT`u⊂∧∀!∃¬∪`@λβ∪@@⊂β∪ @_β∪@ β∩`@(β∩@@0β∩BDP
∩BE β∃dxπSatxπQ(C(	¬"a0↓βI@p&β)@`&αI@_&i@_&αi@h&↓ 00&↓P0&`p(+↓J`0%@a0%↓ p0%↓ p0%↓ `0%↓ P0%CI@`'αλT ≠¬αa0αu¬SAThβ@`T`β↓ T`αA@TXαB4XαR@`⊂β∩@Pλ¬RA⊂_β∩@p8αR@p8αR@`HαR@`HαR@`HαR`PHαR`PHαSP8αS`(β∪!tx¬T t("
b10E`⊂_%DI1⊂%D)1%∧	 x%↓p_%`p %`` )A
  )↓
⊂((A*((↓*('AIp0'AIp0'AJ "Qπ↓⊂
EB`0βSA4hεSP_βR`@8αR`@@α∩``0α∩a_αRa⊂λαS↓Th¬SAD`πR``λ¬∩@P ∧R@@8βR@@HαR@@Pα∩@PHα∩@p(αRat`εSA∀("∞"A0¬@`8'αiPh&↓@00%A p(%↓A(%↓!⊂(%↓!⊂0%↓! (%↓! (%↓!⊂0%A!0%A@`8&↓@0H'α@⊂((↓@ (,↓)P_βAI@(αAI@(α↓I@p&C	p8"Q∧A⊂
Gβ @↓T@5βS!D`α@!∧Xα`0⊂α∩`0 ↓@`DPα↓0⊂αR@@ ↓@@TPα@`0⊂αR@`⊂↓@`4P¬RaT`εS!Txε∀A%⊂↓@ dX↓A0⊂αR@P_↓@`DPα@`0_α∩@P_↓@`DPα↓0⊂α∩`@_↓@@D`α@!∧hε∪a¬⊂↓T@4("	Cr⊂ε↓ ()α
⊂(A
(↓@j(↓@j(↓@j(↓@j(↓↓
P(α `H(αpH(↓aH'B↓  &Ba &β p_%A  8β↓	 (↓B@ %↓ @@↓↓	 (αC	 (βαI 0βα↓_%A@@XαA	Ah&C h'Aa@"Qπaλ
εα⊂@α∀ eλβ∀ eλβ∀@D8T@5⊂↓T@5⊂↓T@5λα∀Dxα∪ TXβ∩@`8↓R@P8αR@P8αR@P8αR`P(αS↓Tp∧Q(CxλEβ↓@αα)@h%A P(%↓ p(%↓ p(%↓ p(%@`p0*↓J0()↓
⊂ (↓
_(j_(j_#@* 'AIp0'AIp0(↓λT λαA@xπ@↓∧P∧∩A∧hαS ThαS ThαS ThαS ThαS TP¬∩A$P¬⊃(Aλ¬Bb`x↓B	P@&B
((↓*((↓*((↓*((↓*((↓*((↓*((↓)0_↓↓) (A) (A) P%B	@0"Qβ⊃ εβ8∧∪aDpβ@dhβ↓dhαA@ThαA@ThαA@ThαA ThαAdP∧ tP∧ tP∧↓ThαA ThαA@ThαA@ThαA`ThαA`ThαA`ThαA`Thα@@0⊂αS Pλα@ Thα@!$P∧!$P∧!∀P∧@d("εCbπC`P@αB	P`Bi@(↓B@0(&↓ @@αA)@(αA@`0&@``0βA*`(∧↓*⊃8&Fi0@↓A) 0β↓I (∧↓) (βAa⊂%↓@PPα↓	0h↓β	`@βAhT 
H$0xπAA8βSA@_¬S P α@ P_αSP0∧A TXαBp0αR@PPβ↓`TPαB@P@αR@PP	∩@PP	∩@PPαR@PPβ∩`P@βS@@∧α$hαAPλβ↓DpεaE∧↓a∧("παA0Db⊂⊂-k⊂_,jP'β	P(α↓)@(αAI0(αB	 (α@` (%↓ P⊂↓A) (α`0(%↓ 0_α↓) (↓@@P(%↓  _αA)0@αA)@0β↓	P(α↓)``'αIP_&i@⊂&HT ⊂AA1@ DPβ∩@dPβ∩@dPβ∩@dXαR`TXαR`DXα∩`D`↓S4`↓S48R`DPβ∩@dPβ∩@dXα⊃(B_⊂Iβq@π@`p_,@`p_,↓` ,↓` ,`p_+A` +A` +@`p_+↓` +↓` *Ap_%λ)"λ%λ*@ β↓
@_βA
0 β@j0 β↓	"λ%λ)"λ)`p (A` (A` (@`p_(↓` (↓` (`p_'A` 'A` '@`p_'@`p_"Q∧R_∪πβ (αS!⊃⊂↓S@_α∧DXαA@hαR@P(αB`TPαA@`0βR@P0	∩@P0↓@!TPαA@0Hα∩@P0↓BDPαA @8α∩`P ↓A`D`α`08α∪!⊂0α∪`P8α↓ UPα↓↓∃Hα↓@_↓V@ αA58α↓P(α∃@@(αA@5(α↓@P0↓U@8αA@5_ααP0↓T@@HαA@5λαα@P(α∀@`αA4xαβ@@_↓S@A∧S@1_αQ(B8βBaA@A	 0%↓i 8%↓i00'@I`_'IP_&i0 %@HT ∀αbα_
α %λα∀Dxα∪@Dpα∪ D`αSDXαR`TXαR`DPαR@TPαR@TPαR@TPαR@TPαR@TXα∩`TXαR`T`α∪Thα∪@Dpα∪`Eα∀ E_↓⊃(BH¬CD1PI  %A	@ &A	P '↓	`('A	p('A)p((↓
((↓*((↓*((↓*((↓*((↓* 'A)p('A)p '↓)` &A	P &↓	0 %↓	 ⊂"Q¬!
βC 8↓∀Eα∩` _α`$Pα` _α∩@P⊂↓@TXπ∪!$h¬∩adPα@@ ⊂αR@@_↓`DX↓`@_↓∀Eλ↓⊃(BX∂HCq@πk_,k_,k_,k_,k_,k_,k_%πi!x%πk_,k_,k_,k_,k_,k_,k_,k_"Q¬@8¬CPλα∩@dPβR@tPβR`dx↓∪@4p↓∪ 4`↓R`DX↓⊃(Bpβα@P(A	 0%↓I 0%↓I0 "Q¬q⊂
Hc x↓V 5@α⊗E8α∃`E0α∃@E(α∃ E α∃E ↓T`E_α∀@E⊂α∀ Eλα∀Eα∪`Dxα∪`4pα∪@Dhα∪ D`α∪DXα∩`DPα∩@DP↓R@4("∞@`PπC`⊂ %↓I 0%↓I 0%Aλp_%A	 0%↓I 0%↓I0 "Qπ00¬¬Apλα∩@dPβ∩@dPβ∩`D8↓R`DPβ∩@dPβ∩@dXαS@$p↓∪ 4h↓∪4X↓R`$("∂`X∧ ⊂ %↓I 0%↓I 0%Aλpλ&i@_&i@_%A	0 %A	0(%A)0(%↓I 0%↓I 0%↓I 0%AλT ≡Gd XπβtP∂RCt8αRCtP∂RCt("⊂βr⊂ε↓0H)βj0βAIp εA	P(πA)P_β↓``_&`PXα@i0 ↓A@0(α↓	0_↓A p0↓i  ↓A!(↓↓	 _↓A!⊂(↓@i _↓A!⊂(↓@i _↓A!⊂(↓@i _↓A!⊂(↓@i _↓A!⊂(↓@i  ↓A!(↓↓	0_↓A p0↓i0 ↓A@0@A	@_αDiP_β↓`00&A)p 	↓
0∧BJ!(*CλT -AaB_
tPβR@tP↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4PβR@tPβQ(EhβBD1P↓i 8%↓i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i 8%↓i 8"Q8¬ββ ↓∪D`↓R`4X↓∩@4P↓∩@dPβR@tPβR`d`α⊃(A⊂∧C`q@@i (%↓I 8%Ai@8'↓)p "Qα0H	↓c(↓S@Thβ∪tXβR@tPαR@D("¬↓a_β¬@_∧i (α↓)@P&B	`0'A
⊂"QαPp	Ac↓α@$P↓α@$P↓B4X↓A@4Xα↓D`¬∪!∧pβ⊃(A0λ¬!(∧	!%∧λT BBp8@dX∧∩@0 ↓R@ 0↓∩@ 0↓∩@0 ↓Ra∧`β⊃(A@εεpλα↓)`('↓i`@(A*0%β	 P"Q∧Pε↓↓P8↓S@d`β∩@TP↓Q(Epε∧@a@α@I` &AI0P%β	  α↓	 ⊂∧HT /AA ( DPβ∩@dPβ∩@dXα⊃(Ghπ¬q@↓@`@_&↓  (%A@⊂0%A@⊂0%↓@⊂0%↓  (%↓0 %`@_"Q∂a
↓β_αA@$`∧`4Xπ∩@0_∧∩@ 0αQ(Gxπ∧`Q@A@ %↓@ 0%↓@ 0%↓@ 0%↓@ 0%A@ "QβR8∀EbpX
∃#%(
⊗↓ 8β∃`@λβα U8↓@@`Pα∃@@⊂β@0(α∃@0_β@0(α∃ @_β@00↓U 0 β @0↓U@ β E ↓A!5_α↓!5_↓A@`λα↓`5⊂λ @8↓TB⊂↓A@Eλλ@@00α∀ 0@β@0(α∀@@βα@E↓B `@β∪@PHβ↓A∧P¬@C∧P¬@C∧P¬@C∧("πE"hEa1h)λ
8β¬)`8∧AA0&AA00¬↓)@0ε↓A0 &↓A@0↓@`P %AAP0↓@`P %AAP0↓@``_%↓A`0↓↓`_%↓A`0↓↓	 0πβ	 0πβ	 0π↓@  β@i 0π↓@  β@i00εA@0_β↓	00εA@0_β↓	@0ε↓@0_αA	@0ε↓A0 &AA00∧AI`8∧A@p@(↓`a()λ
Qh"Qβqx⊃εc⊃@↓X@5(∧@`E⊂	Tp(∧∪@pHβS `P∧S`X¬∪`Pα dXβα@P⊂β∩``Hα@`dPβα P(β∩@`@αA@dPβα@8β∩@`8ααdPβ↓@P@β∩@`(αB dXβ`PHβ∩``⊂αB@d`β @Pβ∪↓ Xβ∪!⊂Pβ∪@pHβSa(βSB4hα@a∀hα∪ 4("αcQxε↓H↓Aj↓0'↓`P0↓↓)P0βA@ (&A!(↓A)P(∧↓ @_&A!(&A!(&A!(%ε)!H%ε)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓) P↓Bi P↓Bi P↓BhT ε¬c⊃@α↓∃εS@p(α∪ `8αS P@αS P@αS PH↓S ThαRBTP
RBThαBThαBThαBThαBThαBThαBThαBThαBThαBThαBTP¬a$P¬a$P¬a$("β"qHε↓H@jx'↓`P(&A@p(&A!(&A!(&A!(&A!(&A!(%¬)!(%¬)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓) P↓BI P↓BI P↓BHT π	$q@α↓⊂(∧Tβ4pβA!(αS `8βαThαBPHαS P@αB ThαBPP↓S P@αS P@αRD4P⊃RD4hαBPHαS P@αB ThαBPHαS P@αB ThαBPHαS P@αB ThαBPHαS P@αB ThαBPHαS P@αB TP¬a  ¬∩A _¬↓↓$P¬a  ¬⊃(@x∩Ic↓@∧B @H@j↓h'↓``8β↓)`(∧↓!(&A!0∧↓)P(∧↓!⊂(&A!(∧A)P(∧↓!⊂(&A!(∧A)"_%λi"_&A!(∧A)P(∧↓!⊂(&A!(∧A)P(∧↓!⊂(&A!(∧A)P(∧↓!⊂(&A!(∧A)P(∧↓!⊂(&A!(∧A)P(∧↓!⊂(%α@0PααI P↓B@@P%α@0PααHT .βb``↓ 0↓∪@ α∪0(↓R`0(↓R` 0↓∩@0(↓R@ 0↓∩@`⊂β∩@pλβR@pλβR@pλβR``⊂β∪@ α⊃(B⊂πD!A@A@ %↓@ 0%↓`⊂8%↓`⊂8%↓`⊂8%A@ 0'@@`⊂'`P_'@`⊂&@`P_&`P_%A@ %@@`⊂"Q¬PPε↓↓ ¬∩A$P¬∩A$P¬⊃(GX¬`⊂P¬I!0"Q∂Bh↔! ⊗RET(|α(P∞(,Hr@OX≤OX≤?␈␈x␈↔?␈␈x{@
=H∩ ∧00α_{⊂D π↑W⊂O0!H@xb←6}d ∩α
(eλ≠=HQxβIz(→λ{⊃C`εnC@?/0#I ↓λ
| ↓∀}d@∩@α∂G@⊂X=I⊃⊂αλ⊂ 1λ{∩C⊂¬X}`i∂0%I ↓x#`↓b>d`∞@↓R I_w=IRh¬∞≤8C({∪DPλ<⊃p↓~O0'I↓-A@αT>e⊂↓n(↔(X=J∩ ∧00←8{∀D0λ∧λ⊂↓Mo0)G`ls@β4>e ⊂@↓rxy@8∪=JR ∧∀\PwH{∃D@λ⊗``↓{O0+L↓0→_`∧}e@∩α¬Xβ@c=K∩ ∧00↓∩λ{⊗CPε[jpα.∂00FXL@∧q>f⊂
@↓D "P↓=L10α=ax↓%8{→β0ε⊃λ@αQ/02E@Hwπ`¬7}f0π@p⊂8X
=Lq@αc∪⊂↓5({~β0ε⊃λ@αu/04C@069`ε}fPπ@p⊂8`≤=M1HαukX↓H_{≠↓`β≠≤pβ~o06I`↓⊂
h@εC}fp
@↓D "h<=Mq@αc∪⊂↓[x{≤β0ε⊃λ@β?o08F XW.`π∪}g⊂
↓∪8!@pP=N1_α≤∂ ↓m_{≥α0∧0a@βao0:F``"⊃πS>g0@↓:p]@xI=Nr ∧00↓|X{≡β⊂¬kW0∧∧o0<F XW.`λ_}gP↓≡p∂@↓X=@↓hβ$I⊂α∞h{$p	εt ∧&/0↓	 ↓x#`λ`>`_∂@↓` p↓λ{=@Ahβ-u8α$8{↓$Pλ<⊃p∧Q←0βλ@xb←	;↑`8∩@α∂G@↓_ ⎇Aα⊂βxW`α8p{α$Pλ<⊃p∧⎇←0¬λ@xb←
∃≡c↓1H→↓ a⎇F⊃@αc∪⊂αQp{C¬F& ¬*?0→FXL@
f≡c ↓1H→↓(p⎇FQ@αc∪⊂αb⊂{
C¬F& ¬L␈0≠FXL@/≡c@↓1H→↓0|⎇G⊃@αc∪⊂αt@{	β¬F& ¬s←0∪	 ↓x#`¬≡cp@↓(_T↓@@⎇Gq8αP:@β⊂{∧↓`β≠≤pε ?0λC`8↓≤J↑aH↓1H→↓H2⎇C"⊂βxW`β≥{εdPλ<⊃pεC␈0∞εXL@
≡≡bλπ@p⊂8↓Pi⎇D28∧C:⊂β0P{	%⊂	,%0εp←0∪C@069`∞
↑b@	@↓_ε↓`%⎇E⊃_α_0`βIP{
C¬F& π≥∨0∃I ↓x#`∞I↑b`πf`s@↓h6⎇E`p↓MN8βXp{c¬F& π4∨0≥β@069`∞|≡cXπf`s@↓pλ⎇G@x↓`'βd{∂$Pλ<⊃pπN␈0 	 ↓x#`∂#≡eXπ@p⊂8↓x∂⎇KPx↓`'βvp{_↓`β≠≤pπw←0	εXL@∂w↑a_↓1H→↓xz⎇BA@αc∪⊂∧`{¬#¬F& λ∧←0εXL@⊂⊃↑a8∩α¬Xβα)⎇Cα⊂βxW`∧π⊂{λ↓`β≠≤pλ⊃∨0/εXL@⊂&↑exπf`s@αY⎇OQ@αc∪⊂∧0{∨C¬F& λ≥←0?FXL@⊂A↑ah∃@α9λ<@αλ∩⎇Cbx¬3MP∧≠{πdPλ<⊃pλH∨0¬G h7U`⊃1≡``∞↓MHgα_↔⎇AQ`β≠≤p∧8`{βE 	QV@λ⎇␈0πJ@↓_#-∩≥↑e`↓1H→α(↓⎇D!@αc∪⊂∧Sp{"⊂βe␈ 	/∨0=FXL@∩b↑g`↔@αY`mα(J} ∩h⊂=xow{⎇x